../../../../../lib/t/ex_case3a.m